883. Programs from decision tables

Author:

Library: Central Library and Documentation Center (Kerman)

Subject: ، Computer programming,، Decision logic tables

Classification :
QA
76
.
6
.
H85
1973

886. Proofs and Algorithms

Author:

Library: Library of College of Science University of Tehran (Tehran)

Subject: Logic, Symbolic and mathematical,Computer logic,Proof theory,Algorithms

Classification :
QA
9
.
D68
2011